The Wright Architectural Speci cation
نویسندگان
چکیده
An important step towards establishing an engineering discipline of software is to provide a formal basis for describing and analyzing software architectures. The Wright Architectural Speciication Language was developed for this purpose. The key novel features of Wright are its support for (a) formal speciication of new architectural connection types, (b) formal deenition of architectural styles, and (c) rules for checking the consistency and completeness of architectural designs.
منابع مشابه
The Wright Architectural Speci cation Language
An important step towards establishing an engineering discipline of software is to provide a formal basis for describing and analyzing software architectures. The Wright Architectural Speci cation Language was developed for this purpose. The key novel features of Wright are its support for (a) formal speci cation of new architectural connection types, (b) formal de nition of architectural style...
متن کاملFormal Modeling and Analysis of the HLA RTI
The HLA RTI is a complex artifact, supporting several classes of interaction (e.g., federation management, object management, time management). A critical challenge in producing an RTI architectural framework (and its associated simulation interface speci cations) is to develop con dence that its speci cation is well-formed and complete. In this paper we describe on-going work in formally model...
متن کاملA Case Study in Software Architecture Interchange
An important issue for the speci cation and design of software architectures is how to combine the analysis capabilities of multiple architectural de nition languages (ADLs) and their supporting toolsets. In this paper, we describe our experience of integrating three ADLs: Wright, Rapide, and Aesop. We discovered that it is possible achieve interoperability in ADL tools for a non-trivial subset...
متن کاملHierarchical Speci cation and Veri cation of Architectural Design Patterns
Architectural design patterns capture architectural design experience and provide abstract solutions to recurring architectural design problems. Their description is usually expressed informally and it is not veri ed whether the proposed speci cation indeed solves the original design problem. As a consequence, an architect cannot fully rely on the speci cation when implementing a pattern to sol...
متن کامل. EXPRESSION : An ADL for System
| We describe EXPRESSION, a language supporting architectural design space exploration for embedded Systems-on-Chip (SOC) and automatic generation of a retargetable compiler/simulator toolkit. Key features of our language-driven design methodology include: a mixed behavioral/structural representation supporting a natural speci cation of the architecture; explicit speci cation of the memory subs...
متن کامل